Quasivarieties of Wajsberg hoops
نویسندگان
چکیده
In this paper we deal with quasivarieties of residuated structures which form the equivalent algebraic semantics a positive fragment some substructural logic. Our focus is mainly on varieties and Wajsberg hoops, are Łukasiewicz many-valued particular study lattice subquasivarieties hoops describe completely all subvarieties that primitive. Though treatment mostly in nature, there obvious connections underlying logics.
منابع مشابه
Hoops News
T hink philosophically for a moment: As sports medicine clinicians, what is our most important function? Some might say diagnosing illnesses. That's a hard one to argue, especially when it comes to cardiac conditions and the risk of sudden death. Others might focus on rehabilitation and training—no doubt major components of what we do. Many of us focus on injury prevention: keeping athletes on ...
متن کاملPseudo Hoops
Pseudo-hoops are algebraic structures introduced in [1, 2] by B. Bosbach under the name of complementary semigroups. This is a formalization of the paper [4]. Following [4] we prove some properties of pseudo-hoops and we define the basic concepts of filter and normal filter. The lattice of normal filters is isomorphic with the lattice of congruences of a pseudo-hoop. We also study some importan...
متن کاملUniversal Quasivarieties of Algebras
Two different notions of universal, one due to Hedrlín and Pultr in the 1960s and the other due to Sapir in the 1980s, are discussed, as well as the relationship between them. Some of the historical perspective and mathematical motivation lying behind them is also included, together with a brief overview of a variety meriting further investigation in this context.
متن کاملSTABILIZER TOPOLOGY OF HOOPS
In this paper, we introduce the concepts of right, left and product stabilizers on hoops and study some properties and the relation between them. And we try to find that how they can be equal and investigate that under what condition they can be filter, implicative filter, fantastic and positive implicative filter. Also, we prove that right and product stabilizers are filters and if they are ...
متن کاملQuasivarieties of Modular Ortholattices
Lattice of subquasivarieties of variety generated by modular ortholattices MOn, n 2 ! and MO! is described. In [3] Igo sin has proved that any subquasivariety of the variety M! is a variety. M! denoted variety generated by modular lattice M!, where M! is the lattice of length two with ! atoms. For short proof of this fact see [2]. In this note we present an orthomodular counterpart of this resu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fuzzy Sets and Systems
سال: 2023
ISSN: ['1872-6801', '0165-0114']
DOI: https://doi.org/10.1016/j.fss.2023.03.017